Logic for programming, artificial intelligence, and reasoning - 8th international conference proceedings
- Författare
- LPAR Robert Nieuwenhuis Artificial Intelligence and Reasoning 2001 Havana) International Conference on Logic for Programming
- (LPAR 2001, Havana, Cuba, December 3-7, 2001. Robert Nieuwenhuis Andrei Voronkov (ed.)., Literaturangaben)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | xv, 738 sidor. ill. |